منابع مشابه
A circle packing algorithm
A circle packing is a configuration P of circles realizing a specified pattern of tangencies. Radii of packings in the euclidean and hyperbolic planes may be computed using an iterative process suggested by William Thurston. We describe an efficient implementation, discuss its performance, and illustrate recent applications. A central role is played by new and subtle monotonicity results for “f...
متن کاملCircle Packings of Maps in Polynomial Time
The Andreev-Koebe-Thurston circle packing theorem is generalized and improved in two ways. First, we get simultaneous circle packings of the map and its dual map so that, in the corresponding straight-line representations of the map and the dual, any two edges dual to each other are perpendicular. Necessary and sufficient condition for a map to have such a primal-dual circle packing representat...
متن کاملCircle Packing: A Mathematical Tale
1376 NOTICES OF THE AMS VOLUME 50, NUMBER 11 T he circle is arguably the most studied object in mathematics, yet I am here to tell the tale of circle packing, a topic which is likely to be new to most readers. These packings are configurations of circles satisfying preassigned patterns of tangency, and we will be concerned here with their creation, manipulation, and interpretation. Lest we get ...
متن کاملA Polynomial Time SAT Algorithm
An algorithm of two parts is presented that determines existence of and instance of an assignment satisfying of instances of SAT. The algorithm employs an unconventional approach premised on set theory, which does not use search or resolution, to partition the set of all assignments into nonsatisfying and satisfying assignments. The algorithm, correctness, and time and space complexity proofs a...
متن کاملA Polynomial-Time Slicing Algorithm
In an earlier work, we have introduced slicing for Abstract State Machines (ASMs). The idea of this concept is analogous to the one of program slicing which is an established technique for extracting statements from a program that are relevant for its behaviour at a given point of interest. These statements form again a syntactically correct program called a slice. We have identified a class of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1993
ISSN: 0012-365X
DOI: 10.1016/0012-365x(93)90340-y